Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
221	Biogeosciences, 12, 1483–1510, 2015 www.biogeosciences.netdoi:bg © Author(sCC Attribution 3.0 License. Comparison of ten packages that compute ocean Add to Reading List Source URL: www.ioccp.org Language: English - Date: 2015-09-08 07:24:04 Software Application software Mathematical software Array programming languages Chemical oceanography Econometrics software Biological oceanography Ocean acidification Alkalinity R MATLAB Coding
222	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
223	Written Examination, December 18th, 2014 Course noThe duration of the examination is 4 hours. Course Name: Functional programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2015-04-21 04:40:47 Mathematical analysis Probability Statistics Probability and statistics Probability theory Expected value Recursion Mode Probability distribution Inductive probability
224	HP Prime Graphing Calculator The Tutorial Series This is the first issue of a series of tutorials for the HP Prime, written by Edward Shore. If you have programmed with the HP 39g, 39g or 39gII, you will recognize Add to Reading List Source URL: www.hpprime.de Language: English - Date: 2014-05-16 06:30:27 Computer programming Software engineering Programmable calculators Calculators Mathematical notation Reverse Polish notation Graphing calculator Subroutine Parameter Computing
225	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: www.hieratic.eu Language: English Computational complexity theory Theory of computation Dynamic programming Markov decision process Stochastic control Analysis of algorithms Mathematical logic Reinforcement learning Time complexity Algorithm PP
226	The competition Series in the NoE EUNITE 2001 toIntroduction The following summary is not intended to describe the contents of competitions within the Add to Reading List Source URL: www.eunite.org Language: English - Date: 2014-12-11 06:04:47 Scientific method Artificial neural network Computational neuroscience Mathematical psychology Problem solving Algorithm Research Prediction Competitive programming
227	Moment methods in extremal geometry Proefschrift ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof. ir. K.C.A.M. Luyben, Add to Reading List Source URL: www.daviddelaat.nl Language: English Mathematical optimization Operations research Discrete geometry Convex optimization Packing problems Sphere packing Semidefinite programming Linear programming Conic optimization Relaxation Kepler conjecture Optimization problem
228	OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s Add to Reading List Source URL: www.gams.com Language: English - Date: 2016-06-07 08:00:10 Numerical software Computer algebra systems General Algebraic Modeling System Gams BARON CPLEX Draft:Extended mathematical programming Extended Mathematical Programming
229	A new mathematical representation of demand using choice-based optimization method Meritxell Pacheco Paneque Shadi Sharif Azadeh Michel Bierlaire Add to Reading List Source URL: www.strc.ch Language: English - Date: 2016-06-11 09:55:49 Choice modelling Operations research Statistical models Environmental economics Discrete choice Mathematical optimization Mathematical model Linear programming Probability distribution Logistic regression Economic model
230	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory

UPDATE